
void foo(int i) {
    
    switch(i) {
        case 1:
        int j = 3;
        break;
        case 2:
        <ref>j++;
    }
}